Transcomputational problem